(declare-const v4 Bool)
(declare-const arr--6959284997780448767_-6959284997780448767-0 (Array Bool Bool))
(assert (select (store arr--6959284997780448767_-6959284997780448767-0 true v4) (select arr--6959284997780448767_-6959284997780448767-0 false)))
(check-sat)
